Proving_a_proposition_of_"knowing_a_fact"_without_revealing_its_content